//]]>
Unhighlight Highlight
Logic-Based Program Synthesis and Transformation by Vidal, Germán. Publication: . X, 254 p. 61 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
DNA Computing and Molecular Programming by Stefanovic, Darko. Publication: . X, 151 p. 51 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Combinatorial Optimization by Mahjoub, A. Ridha. Publication: . XIV, 476 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Cryptology – CRYPTO 2012 by Safavi-Naini, Reihaneh. Publication: . XV, 888 p. 103 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Information Security and Cryptology - ICISC 2011 by Kim, Howon. Publication: . XII, 512 p. 98 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Computer Games by Herik, H. Jaap. Publication: . XXIII, 356p. 131 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Combinatorial Optimization and Applications by Lin, Guohui. Publication: . XI, 398 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Arithmetic of Finite Fields by Özbudak, Ferruh. Publication: . XII, 247p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Developments in Language Theory by Yen, Hsu-Chun. Publication: . XIII, 478p. 65 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Languages Alive by Bordihn, Henning. Publication: . X, 291 p. 29 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and Applications of Satisfiability Testing – SAT 2012 by Cimatti, Alessandro. Publication: . XIV, 500p. 364 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automata, Languages, and Programming by Czumaj, Artur. Publication: . 860p. 64 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automata, Languages, and Programming by Czumaj, Artur. Publication: . 700p. 51 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Deontic Logic in Computer Science by Ågotnes, Thomas. Publication: . XII, 215 p. 21 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Parallel Processing and Applied Mathematics by Wyrzykowski, Roman. Publication: . XXVII, 663 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Lectures on Logic and Computation by Bezhanishvili, Nick. Publication: . VIII, 265 p. 41 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Reasoning by Gramlich, Bernhard. Publication: . XIV, 568p. 90 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Neural Networks – ISNN 2012 by Wang, Jun. Publication: . XXV, 669p. 314 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Biomedical Image Registration by Dawant, Benoît M. Publication: . XII, 308 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Combinatorial Pattern Matching by Kärkkäinen, Juha. Publication: . XIII, 454p. 82 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 Next >>
Languages: 
English |
العربية